miR-375 Targets 3′-Phosphoinositide–Dependent Protein Kinase-1 and Regulates Glucose-Induced Biological Responses in Pancreatic β-Cells

OBJECTIVE—MicroRNAs are short, noncoding RNAs that regulate gene expression. We hypothesized that the phosphatidylinositol 3-kinase (PI 3-kinase) cascade known to be important in β-cell physiology could be regulated by microRNAs. Here, we focused on the pancreas-specific miR-375 as a potential regulator of its predicted target 3′-phosphoinositide–dependent protein kinase-1 (PDK1), and we analyzed its implication in the response of insulin-producing cells to elevation of glucose levels

parMERASA – multicore execution of parallelised hard real-time applications supporting analysability

Abstract-Engineers who design hard real-time embedded systems express a need for several times the performance available today while keeping safety as major criterion. A breakthrough in performance is expected by parallelizing hard real-time applications and running them on an embedded multi-core processor, which enables combining the requirements for high-performance with timing-predictable execution. parMERASA will provide a timing analyzable system of parallel hard real-time applications running on a scalable multicore processor. parMERASA goes one step beyond mixed criticality demands: It targets future complex control algorithms by parallelizing hard real-time programs to run on predictable multi-/many-core processors. We aim to achieve a breakthrough in techniques for parallelization of industrial hard real-time programs, provide hard real-time support in system software, WCET analysis and verification tools for multi-cores, and techniques for predictable multi-core designs with up to 64 cores

International longitudinal registry of patients with atrial fibrillation and treated with rivaroxaban: RIVaroxaban Evaluation in Real life setting (RIVER)

Background Real-world data on non-vitamin K oral anticoagulants (NOACs) are essential in determining whether evidence from randomised controlled clinical trials translate into meaningful clinical benefits for patients in everyday practice. RIVER (RIVaroxaban Evaluation in Real life setting) is an ongoing international, prospective registry of patients with newly diagnosed non-valvular atrial fibrillation (NVAF) and at least one investigator-determined risk factor for stroke who received rivaroxaban as an initial treatment for the prevention of thromboembolic stroke. The aim of this paper is to describe the design of the RIVER registry and baseline characteristics of patients with newly diagnosed NVAF who received rivaroxaban as an initial treatment. Methods and results Between January 2014 and June 2017, RIVER investigators recruited 5072 patients at 309 centres in 17 countries. The aim was to enroll consecutive patients at sites where rivaroxaban was already routinely prescribed for stroke prevention. Each patient is being followed up prospectively for a minimum of 2-years. The registry will capture data on the rate and nature of all thromboembolic events (stroke / systemic embolism), bleeding complications, all-cause mortality and other major cardiovascular events as they occur. Data quality is assured through a combination of remote electronic monitoring and onsite monitoring (including source data verification in 10% of cases). Patients were mostly enrolled by cardiologists (n = 3776, 74.6%), by internal medicine specialists 14.2% (n = 718) and by primary care/general practice physicians 8.2% (n = 417). The mean (SD) age of the population was 69.5 (11.0) years, 44.3% were women. Mean (SD) CHADS2 score was 1.9 (1.2) and CHA2DS2-VASc scores was 3.2 (1.6). Almost all patients (98.5%) were prescribed with once daily dose of rivaroxaban, most commonly 20 mg (76.5%) and 15 mg (20.0%) as their initial treatment; 17.9% of patients received concomitant antiplatelet therapy. Most patients enrolled in RIVER met the recommended threshold for AC therapy (86.6% for 2012 ESC Guidelines, and 79.8% of patients according to 2016 ESC Guidelines). Conclusions The RIVER prospective registry will expand our knowledge of how rivaroxaban is prescribed in everyday practice and whether evidence from clinical trials can be translated to the broader cross-section of patients in the real world

Transgenic Overexpression of Active Calcineurin in β-Cells Results in Decreased β-Cell Mass and Hyperglycemia

BACKGROUND:Glucose modulates beta-cell mass and function through an initial depolarization and Ca(2+) influx, which then triggers a number of growth regulating signaling pathways. One of the most important downstream effectors in Ca(2+) signaling is the calcium/Calmodulin activated serine threonine phosphatase, calcineurin. Recent evidence suggests that calcineurin/NFAT is essential for beta-cell proliferation, and that in its absence loss of beta-cells results in diabetes. We hypothesized that in contrast, activation of calcineurin might result in expansion of beta-cell mass and resistance to diabetes. METHODOLOGY/PRINCIPAL FINDINGS:To determine the role of activation of calcineurin signaling in the regulation of pancreatic beta-cell mass and proliferation, we created mice that expressed a constitutively active form of calcineurin under the insulin gene promoter (caCn(RIP)). To our surprise, these mice exhibited glucose intolerance. In vitro studies demonstrated that while the second phase of Insulin secretion is enhanced, the overall insulin secretory response was conserved. Islet morphometric studies demonstrated decreased beta-cell mass suggesting that this was a major component responsible for altered Insulin secretion and glucose intolerance in caCn(RIP) mice. The reduced beta-cell mass was accompanied by decreased proliferation and enhanced apoptosis. CONCLUSIONS:Our studies identify calcineurin as an important factor in controlling glucose homeostasis and indicate that chronic depolarization leading to increased calcineurin activity may contribute, along with other genetic and environmental factors, to beta-cell dysfunction and diabetes

Attack tree analysis for insider threats on the IoT using Isabelle

The Internet-of-Things (IoT) aims at integrating small devices around humans. The threat from human insiders in “regular” organisations is real; in a fully-connected world of the IoT, organisations face a substantially more severe security challenge due to unexpected access possibilities and information flow. In this paper, we seek to illustrate and classify insider threats in relation to the IoT (by ‘smart insiders’), exhibiting attack vectors for their characterisation. To model the attacks we apply a method of formal modelling of Insider Threats in the interactive theorem prover Isabelle. On the classified IoT attack examples, we show how this logical approach can be used to make the models more precise and to analyse the previously identified Insider IoT attacks using Isabelle attack tree